$\forall$$M$:MsgA, $x$:Id. ma{-}init{-}const($M$;$x$) $\in$ $\mathbb{P}$